The verification of the properties of a businessprocess (BP) has become a significant research topic inrecent years. In the early stages of development, the BPmodel (e.g. BPMN, EPC), the BP contract (task contract,regulations and laws, business rules), and the testobjectives (requirements) are the only elements available.In order to support the modellers, automatic tools must beprovided in order to check whether their businessprocesses are in line with the BP contract.This paper proposes a new business process called theautomatic test-case generator to automate the generationof test cases and verify that a BP has the intendedfunctionality (semantic conformance). This generator isanalysed, designed and implemented by taking intoaccount the following tasks: Annotation of the BP modelwith the business process contract, calculation of thevarious data flow paths, transformation of these data flowpaths into SSA form, and a modelling of a constraintsatisfaction problem (constraint programming) of the BPcontract for all data flow paths. The execution of thisbusiness process generates the test cases automatically.
展开▼